Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures
- Genre
- Electronic books
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2023 | Utgivningsland okänt / Ej specificerat |